Encode for HTML.

Escape special characters so text is safe to drop into HTML.

Ready.